1
Geometria dos Quatro Espaços Fundamentais
MATH004Lesson 4
00:00
Os quatro espaços fundamentais de qualquer matriz $A \in \mathbb{R}^{m \times n}$ não existem de forma isolada; estão geometricamente conectados como pares de complementos ortogonais. Essa "arquitetura ortogonal" é pré-requisito para resolver sistemas inconsistentes por meio de projeções e mínimos quadrados. Estabelecemos que o espaço das linhas $C(A^T)$ é perfeitamente perpendicular ao espaço nulo $N(A)$ em $\mathbb{R}^n$, enquanto o espaço das colunas $C(A)$ é perpendicular ao espaço nulo esquerdo $N(A^T)$ em $\mathbb{R}^m$.

Definições e Ortogonalidade

Para compreender a estrutura de uma matriz, devemos primeiro definir o que significa que dois subespaços sejam perpendiculares. É uma condição muito mais rigorosa do que a ortogonalidade simples entre vetores.

  • Ortogonalidade de Subespaços: Dois subespaços $V$ e $W$ de um espaço vetorial são ortogonais se todo vetor $v$ em $V$ for perpendicular a todo vetor $w$ em $W$. Formalmente: $v^T w = 0$ para todo $v \in V$ e todo $w \in W$.
  • O Complemento Ortogonal ($V^\perp$): O complemento ortogonal de um subespaço $V$ contém todo vetor que é perpendicular a $V$. É denotado como $V^\perp$ (pronuncia-se "V perp").

O Teorema Fundamental da Ortogonalidade

A identidade central da álgebra linear conecta a ação da matriz à geometria de seus espaços:

Demonstração do Espaço das Linhas

Se $x$ está no espaço nulo $N(A)$, então $Ax = 0$. Isso significa que o produto escalar de cada linha de $A$ com $x$ é zero. Como o espaço das linhas $C(A^T)$ é gerado por essas linhas, todo vetor no espaço das linhas deve ser perpendicular a $x$.

$$x^T(A^T y) = (Ax)^T y = 0^T y = 0$$

Isso leva ao belo equilíbrio de dimensões. Em $\mathbb{R}^n$, as dimensões sempre se complementam: $\dim(C(A^T)) + \dim(N(A)) = n$. Da mesma forma, em $\mathbb{R}^m$, temos $\dim(C(A)) + \dim(N(A^T)) = m$.

A Alternativa de Fredholm

Existe uma dualidade estrutural onde exatamente um desses problemas tem solução:

  1. $Ax = b$: O vetor $b$ está no espaço das colunas.
  2. $A^T y = 0$ com $y^T b = 1$: $b$ possui uma componente no espaço nulo esquerdo, tornando o sistema inconsistente.
🎯 O Aviso: Duas Parede
Duas paredes em um cômodo parecem perpendiculares, mas NÃO são subespaços ortogonais! Ambas compartilham a linha de encontro. Como um vetor nessa linha não é perpendicular a si mesmo ($v^T v \neq 0$), a definição rigorosa falha. Dois planos em $\mathbb{R}^3$ nunca podem ser subespaços ortogonais.